The Simply Typed Lambda Calculus

The full version of our language. Consists of:

• Constants
• Sums (Either)
• Products (Pairs/Tuples)
• Exponentials (Functions)

Products

%%🖋 Edit in Excalidraw%%

Sums

Represents the choice between two values. %%🖋 Edit in Excalidraw%%